16

A Shape Graph Logic and A Shape System

Year:
2013
Language:
english
File:
PDF, 780 KB
english, 2013
24

Garbage Collector Verification for Proof-Carrying Code

Year:
2007
Language:
galician
File:
PDF, 746 KB
galician, 2007
30

Certifying Concurrent Programs Using Transactional Memory

Year:
2009
Language:
english
File:
PDF, 479 KB
english, 2009
39

Segmental flow-injection analysis: device and applications

Year:
1990
Language:
english
File:
PDF, 520 KB
english, 1990